Stochastic Petri nets. Modelling, stability, simulation - Haas P..pdf